Trinity College, Dublin - PDFSEARCH.IO - Document Search Engine

Trinity College, Dublin
Results: 616

#	Item
41	Procedure No: 46 Revision: 4 Sheet of: 1 of 15 Date of Issue: MayProbationary and Review Procedures for Academic Staff Add to Reading List Source URL: www.healthsciences.tcd.ie Language: English - Date: 2015-09-21 10:20:46 Academia Education Knowledge Doctor of Philosophy Titles Professor Trinity College Dublin Dean Academic degree University governance Academic ranks Professors in the United States
42	Reverse Hoare Logic? Edsko de Vries and Vasileios Koutavas Trinity College Dublin, Ireland {Edsko.de.Vries,Vasileios.Koutavas}@cs.tcd.ie Abstract. We present a novel Hoare-style logic, called Reverse Hoare Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Logic Theoretical computer science Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Hoare logic Predicate transformer semantics Permutation Closed and exact differential forms
43	Design and Implementation of a PHP Compiler Front-end Edsko de Vries∗ and John Gilbert {devriese, gilberj}@cs.tcd.ie Department of Computer Science School of Computer Science and Statistics Trinity College Dublin, Irel Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Software Computing Compiler construction Compiling tools Formal languages Cross-platform software Parser generators Syntax GNU bison Parsing Lexical analysis PHP
44	R2RML-F: Towards Sharing and Executing Domain Logic in R2RML Mappings Christophe Debruyne and Declan O’Sullivan ADAPT Centre (http://www.adaptcentre.ie/) Trinity College Dublin (http://www.tcd.ie/) Add to Reading List Source URL: events.linkeddata.org Language: English - Date: 2016-05-03 13:54:02 Semantic Web Resource Description Framework Map Web Ontology Language Parameter
45	PhD position in Organic and Biological Chemistry at Trinity College Dublin: New probes for Deubiquitinating enzymes Overview: A fully funded studentship is available with Dr Joanna McGouran at Trinity College Dublin (htt Add to Reading List Source URL: chemistry.tcd.ie Language: English - Date: 2016-07-11 09:21:34 Proteins Proteomics Genomics Molecular biology Enzymes Ubiquitin Chemical biology Deubiquitinating enzyme Activity-based proteomics Biochemistry
46	Faculty of Health Sciences Research Day 15th September 2016, TBSI Pearse Street Time Agenda Item Add to Reading List Source URL: www.healthsciences.tcd.ie Language: English - Date: 2016-07-14 09:59:51 Jonathan Swift Trinity College Dublin University of Dublin Medical school
47	Microsoft Word - OCLA booklet_tt_2015 Add to Reading List Source URL: www.ocla.ox.ac.uk Language: English - Date: 2015-07-02 11:23:54 Colleges of the University of Oxford Grade I listed buildings in Oxford Oxbridge Russell Group University of Oxford Oxford Caroline Humfress James Howard-Johnston Ja Elsner Martin Goodman Gillian Clark Trinity College Dublin
48	SAMPLE TRINITY COLLEGE DUBLIN INFORMED CONSENT FORM LEAD RESEARCHERS: BACKGROUND OF RESEARCH: (explain the background, context and relevance of the research) Add to Reading List Source URL: ahss.tcd.ie Language: English - Date: 2014-07-17 07:54:29 Medical ethics Clinical research ethics Autonomy Human subject research Informed consent Consent Question
49	Uniqueness Typing Simplified—Technical Appendix Edsko de Vries∗ Department of Computer Science Trinity College Dublin, Ireland August 13, 2008 Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Logic in computer science Models of computation Computability theory Metalogic Model theory Simply typed lambda calculus Lambda calculus CurryHoward correspondence Intuitionistic type theory
50	Microsoft WordProcedure for Confirmation of Academics to Estalished Posts_Procedure 46(1) Add to Reading List Source URL: www.healthsciences.tcd.ie Language: English - Date: 2015-09-21 10:20:46 Academic administration Doctor of Philosophy Titles Trinity College Dublin Professor Dean Graduate school Academic degree Academic ranks in Canada Academic ranks

UPDATE